Rules Of Inference For Quantified Statements